🇫🇷 fr en 🇬🇧

quantificateur universel noun {m}

  /kɑ̃.ti.fi.ka.tœ.ʁ‿y.ni.vɛʁ.sɛl/
  • (Logique) Opérateur, représenté par le symbole ∀ (A renversé) utilisé pour le calcul des prédicats pour indiquer qu’un prédicat est vrai pour tous les élements d’un certain ensemble. Le symbole ∀x se lit « pour tout x » ou « quel que soit x »
 universal quantifier
Wiktionary Links